формализует

формализует
formalize

Бизнес, юриспруденция. Русско-английский словарь. 2005.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • ДЖЕВОНС — (Jevons) Уильям Стенли (род. 1 сент. 1835, Ливерпуль – ум. 13 авг. 1882, близ Хастингса, Суссекс) – англ, логик, экономист и философ, последователь Джорджа Буля. Джевонс – создатель системы логики, основанной на принципе замещения равных,… …   Философская энциклопедия

  • ШЕЛЕР — (Scheler) Макс (1874 1928) немецкий философ и социолог, один из основоположников аксиологии, культур социологии и социологии знания, философской антропологии. Учился в Мюнхене, Берлине и Йене, изучал философию и медицину. Ученик Р.Эйкена,… …   История Философии: Энциклопедия

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

  • СИСТЕМА —         (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… …   Философская энциклопедия

  • АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… …   Философская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия

  • Кольцо (математика) — У этого термина существуют и другие значения, см. Кольцо. В абстрактной алгебре кольцо  это один из наиболее часто встречающихся видов алгебраической структуры. Простейшими примерами колец являются алгебры чисел (целых, вещественных,… …   Википедия

  • Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо …   Википедия

  • Тироль, Жан — Жан Тироль Jean Marcel Tirole Дата рождения …   Википедия

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”